let h (a * b) = h a * h b
